Partial Order Definition and Examples